Boolean Mapping based on Testing Techniques
نویسندگان
چکیده
A novel approach to the Boolean mapping problem is presented. It relies on a Boolean matching algorithm based on testing techniques. The matching is detected by checking the controllability and observability of signals in the cell structure against the subject functions of the network. The method was implemented inside the SIS [Tou90] synthesis environment. The comparison with the SIS structural mapping shows that the Boolean mapping achieve better results in similar or smaller computing time.
منابع مشابه
Boolean Specification Based Testing Techniques: a Survey
Boolean expressions are major focus of specifications and they are very much prone to introduction of faults, this survey presents various Boolean specification based testing techniques, and covers more than 30 papers for the same. The various Boolean specification based testing techniques like Cause effect graph, fosters strategy, meaningful impact strategy, Branch Operator Strategy (BOR), Mod...
متن کاملBoolean matching based on Boolean unification
We consider the problem of detecting the equivalence of two single-output Boolean functions , considering the permutation and complementation of their inputs, complementation of outputs, and their associated don't-care sets. This is often referred to as the Boolean matching problem. Boolean matching is a veriication problem, and it has important applications in logic synthesis problems such as ...
متن کاملKnowledge Mapping Evolution Guided by Data Mining
Preserve knowledge, retain know, these are the objectives of a scalable company. The knowledge mapping is graphical techniques which allows preserve and visualize the strategic heritage of the acquired know-how during the years. We use Data mining techniques to exploit the different sources of data and to improve the process of acquiring this knowledge. In this paper, we present a new knowledge...
متن کاملTechnology Mapping with Boolean Matching, Supergates and Choices
As an important step of any design flow, technology mapping, expresses logic functions of a netlist using gates from a technology library, in the presence of various design constraints. This paper proposes a new approach to technology mapping, which relies and enhances upon several known techniques, integrated and fine tuned to work in a new way. The previous work on DAG mapping is extended, by...
متن کاملInvestigating Effectiveness of Software Testing with Cause-Effect Graphs
Cause-effect graphs can be used for specifying safety critical systems including avionics control software that are often intended to satisfy Boolean expressions. While Boolean expressions are useful to model predicates and complex conditions for state transitions, it is also true that they are very error prone to introduction of faults. Even though many Boolean specification based testing tech...
متن کامل